Lean Together 2024: Alex Oltean, Towards a Completeness Proof of Hybrid Modal Logic in Lean leanprover community 34:37 6 months ago 404 Скачать Далее
Lean Together 2021: Results in modal and dynamic epistemic logic leanprover community 31:20 3 years ago 1 225 Скачать Далее
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof leanprover community 28:31 6 months ago 772 Скачать Далее
Lean Together 2021: Mathematical insights from using Lean leanprover community 25:26 3 years ago 590 Скачать Далее
10 minute Lean tutorial : proving logical propositions Xena Project 7:53 4 years ago 25 815 Скачать Далее
Lean Together 2021: Panel on teaching with proof assistants leanprover community 1:27:46 3 years ago 1 371 Скачать Далее
Lean Together 2021: Automatically generalising theorems using typeclasses in Lean leanprover community 34:53 3 years ago 1 152 Скачать Далее
Lean Together 2021: Generative Language Modeling for Automated Theorem Proving leanprover community 58:21 3 years ago 2 343 Скачать Далее
Lean Together 2024: Jireh Loreaux, Operator algebras in Mathlib leanprover community 31:35 6 months ago 174 Скачать Далее
Simple Explanation of Mixed Models (Hierarchical Linear Models, Multilevel Models) Quant Psych 17:30 8 days ago 1 265 Скачать Далее
Lean Together 2021: Axiomatic Geometry in Lean leanprover community 16:14 3 years ago 2 007 Скачать Далее